退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:机器发现和假设形成的形式逻辑
Petr Hájek; Martin Holena;
机译:归纳逻辑编程:从发现逻辑到机器学习
机译:科学理论的形式模型和计算模型中的发现/证明情境二分法:削弱基于非单调逻辑的区分
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:使用基于逻辑的机器学习食物链的自动发现从生态学数据
机译:用于解决形式逻辑问题的电子手表(由Google Translate进行机器翻译,不具有法律约束力)
机译:基于机器学习的应用程序发现方法在计算环境中使用网络流信息
机译:使用多数逻辑进行的信息通信,用于从声音信号中提取的机器控制信号
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。